--Factorial
fact::int->int
fact x | x>0           = (x * (fact (x-1)))
       | otherwise     = 1

maint::int
maint =fact 9